Giả sử cho M {\displaystyle M} là một nhóm, M {\displaystyle M} là nhóm Quỷ nếu và chỉ nếu nó là nhóm đơn rời rạc và có lực lượng

808017424794512875886459904961710757005754368000000000 = 2 46 .3 20 .5 9 .7 6 .11 2 .13 .17 .19 .23 .29 .31 .41 .47 .59 .71 ≈ 8.10 53 < ∞ {\displaystyle 808017424794512875886459904961710757005754368000000000=2^{46}.3^{20}.5^{9}.7^{6}.11^{2}.13.17.19.23.29.31.41.47.59.71\approx 8.10^{53}<\infty }

suy ra nó đếm được với số chiều dim ⁡ M = 196883 ≈ 200000 {\displaystyle \dim {M}=196883\approx 200000} .